Turing Degrees in Polish Spaces and Decomposability of Borel Functions

نویسندگان

  • VASSILIOS GREGORIADES
  • TAKAYUKI KIHARA
چکیده

In this article we give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture on Borel functions from an analytic subset of a Polish space into a separable metrizable space. Our techniques employ deep results from effective descriptive set theory and recursion theory. In fact it is essential to prove that several prominent results in recursion theory are extended in the setting of Polish spaces. These results include the Shore-Slaman Join Theorem, and as a by-product, we also give both positive and negative results on the Martin Conjecture on degree preserving Borel functions between Polish spaces. Finally we give results about the transfinite version as well as the computable version of the Decomposability Conjecture, and we explore the idea of applying the technique of turning Borel-measurable functions into continuous ones.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

How Many Turing Degrees are There ?

A Borel equivalence relation on a Polish space is countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in recursion theory are: recursive isomorphism, Turing equivalence, arithmetic equivalence, etc. There is a canonical hierarchy of complexity of countable Borel equivalence rel...

متن کامل

Decomposing Borel Functions Using the Shore-slaman Join Theorem

Jayne and Rogers proved that every function from an analytic space into a separable metrizable space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each Fσ set under it is again Fσ . Many researchers conjectured that the JayneRogers theorem can be generalized to all finite levels of Borel functions. In this paper, by using the Shore-S...

متن کامل

Research Proposal: Borel Equivalence Relations

The study of definable equivalence relations on complete separable metric spaces (i.e., Polish spaces) has emerged as a new direction of research in descriptive set theory over the past twenty years. Quotients of such equivalence relations include the orbit space of an ergodic group action, the set of Turing degrees of subsets of natural numbers, and the space of isomorphism classes of countabl...

متن کامل

Recursion and Effectivity in the Decomposability Conjecture

Using ideas and results from recursion theory and effective descriptive set theory we provide a partial answer to the Decomposabilty Conjecture in Polish spaces of small inductive dimension. The latter extends earlier work of Motto Ros and Pawlikowski-Sabok. We also state a conjecture, which would allow our arguments to be carried out in all Polish spaces, and we give the analogous results in t...

متن کامل

Dougherty And

A Borel equivalence relation on a Polish space is countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in recursion theory are: recursive isomorphism, Turing equivalence, arithmetic equivalence, etc. There is a canonical hierarchy of complexity of countable Borel equivalence rel...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016